COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.page frame 80 wide 54 high
C00010 ENDMK
C⊗;
.page frame 80 wide 54 high;
.DEVICE XGP;
.point←14 
.par←6;
.macro pt2 ⊂skip 2*point mills⊃


.MACRO FP ⊂ONCE INDENT 0⊃


.turn on "%";
.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;⊃
.at NULL ⊂IF  FILLING THEN START skip spread-1;ONCE INDENT PAR;END
.         ELSE SKIP spread-1⊃
.FONT 1 "BASL30";		<<normal font>>
.FONT 2 "BASB30";		<<headings>>
.FONT 3 "ASI30.FNT[LSP,JRA]"	<<mexpr font:basi30+>>
.font 4 "NGR40";		<<big titles>>
.font 5 "metl"
.font 6 "mets"
Oct 24 *********** semi-final DRAFT  ***********

Note: this version assumes that final agreements with North Holland
are acceptable; since SAIL is going down for an indeterminate length of time
it was critical to get this  out. The dates below reflect the eight-week
period that North Holland requires. This revision does NOT change the 
due-date for papers, it squeezes the review and revision periods.
.next page

.select 4
.begin center
CALL FOR PAPERS

1980 LISP Conference
.end
.select 1
The 1980 LISP Conference  hosted by Stanford University,  will be held  on
the Stanford campus, August 24-27, 1980. The proceedings will be published.
.fp
%2PURPOSE%1
Many areas of contemporary computer science have their spiritual roots  in
developments related to  LISP.  These
areas  include   machine   architecture,   systems   design,   programming
methodology and technology,  and a  theory of computation.   The call  for
papers reflects this breadth.
.fp
%2TOPICS%1 
The following  topics are typical, but not exclusive: 
.begin indent 5,10
%2Languages and Theory.%1 
Applicative languages, Object-oriented languages, Proving correctness
of LISP programs, Mathematics and formal semantics of LISP-like  languages.
.pt2
%2Programming Aspects%1 Programming tools and environments
for LISP-like languages, Applications of these ideas to other languages.
.pt2
%2Architecture.%1 The design and implementation of LISP hardware,
Adaptation of existing machines, 
Specially designed LISP machines.
.pt2
%2Applications.%1 Non-traditional applications of LISP. This area, of
course, is not easily categorized.
.end
.fp
%2PAPER SUBMITTAL%1 Authors are requested to send four 
copies 
of a full draft paper not exceeding 4500 words,
and a one-page abstract, by  March 14, 1980 to the Conference Head.
.fp
The abstract should provide sufficient detail to allow the committee
to apply  uniform criteria for acceptance. Appropriate references and
comparison to extant work should be included. The papers will be "blind
refereed". Traces of authorship should not appear within the body
of the paper; this information should appear %2only%1 in a cover letter
to the Conference Head.
.fp
Authors will  be notified of acceptance or rejection by May 16, 1980.
For inclusion in the proceedings, final papers are due
 by June 27, 1980.

.fp
%2PROGRAM COMMITTEE.%1 The committee consists of:
John R. Allen, 
Bruce Anderson,
Richard Fateman,
Dan Friedman,
Eiichi Goto,
Patrick Greussay,
Tony Hearn,
Carl Hewitt, 
Alan Kay,
Peter Landin,
Joachim Laubsch,
John McCarthy,
Gianfranco Prini,
Erik Sandewall,
Carolyn Talcott,
and
David Wise.
.fp
%2IMPORTANT ADDRESSES%1
.BEGIN TABIT2(5,45);
\Conference Head is:\In charge of Local Arrangements is:
\ John R. Allen\ Dr. Ruth E. Davis
\ Stanford Artificial Intelligence Lab\ Department of EECS
\ Stanford University\ University of Santa Clara
\ Stanford California    94305\ Santa Clara, California   95053
\ (415)497-4971\ (408)984-4358
.END
.fp
%2MEETING FORMAT.%1
Besides the formal sessions, we expect to have several
demonstrations, including LISP machines.
.fp
Evening sessions  may be established, and informal workshops will be 
encouraged.
.fp
%2PANEL DISCUSSION.%1 Tuesday evening, August 26, 1980, there will be a 
panel discussion on the
topic "What is LISP?". Even informal conversations will 
elicit several divergent if not contradictory views of LISP;
a organized effort should prove even more illuminating.